
(theory theory_2044 
                              name comm-&
                              _______________________
                               P2042 >> P2042; )
(theory theory_1732 
                              name comm-&
                              _______________________
                               P1730 >> P1730; )
(theory theory_1731 
                              name comm-&
                              _______________________
                               P1729 >> P1729; )